TAGs: solving exponential equations